automatic deduction造句

• Establish a customer service center , introduce discount payment system for the automatic deduction of water utility rates from bank accounts and calculation system for daily rate use
  建立消费者服务中心，引入优惠支付系统，通过银行帐户和每日使用频率计算系统自动减少用水费用。
• The model has some properties as follows : can give accurate formal specifications for cryptographic protocols ; has provable semantics which is reasonable and sound ; can define the security properties precisely and reasonably ; is easy to realize automatic deductions
  该模型具有以下特点：能够对密码协议进行精确的形式化描述；具有合理可靠的可证明语义；对密码协议安全性的定义精确合理；便于实现自动化推理。
• With the application of object - oriented program technique and design mode combined compiling language with interpreting language , “ the auto - calculating system for building quantity ” had been finished in delphi5 . 0 , which successfully resolved many problems puzzled us many years in the field of computerization of building quantity , such as the input of building component , flexibility of building component class , re - customization of building component class , automatic transfer of parameters of building component , automatic deduction of quantity of crossed building component , etc . . the auto - calculation of building quantity had been realized so far
  运用面向对象的编程技术和很多编程技巧，采用编译型语言和解释型语言相结合的编程方式，在delphi编程环境下编制完成了“建筑工程量自动计算系统”软件，成功解决了建筑构件信息输入、构件类的开放性、构件类二次开发、构件参数自动传递、相交构件工程量自动扣减、相交基础构件工程量自动扣减等困扰建筑工程量电算化领域多年的难题，实现了建筑工程量自动计算。